Formal epistemology - PDFSEARCH.IO - Document Search Engine

Formal epistemology
Results: 132

#	Item
41	Department of Political Science/School of Public Policy MPhil/PhD Degree Outline Research Proposal Template Prospective MPhil/PhD students are required to complete a research proposal and submit this with the formal app Add to Reading List Source URL: www.ucl.ac.uk Language: English - Date: 2012-02-23 11:44:37 Science Doctor of Philosophy Titles Epistemology
42	Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor, Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:21:42 Mathematical logic Formal languages Knowledge representation Epistemology Model theory Literal Interpretation Term algebra Fluent Logic Logic programming Mathematics
43	Belief, Uncertainty, and Probability Jan van Eijck CWI & ILLC, Amsterdam Qualitative and Quantitative Methods in Formal Epistemology Nov 20, 2014 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:27:49 Statistical inference Bayesian probability Science Knowledge Probability and statistics Epistemology Formal epistemology
44	SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE John McCarthy and Patrick J. Hayes Computer Science Department Stanford University Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:21 Academia Branches of philosophy Formal sciences Alan Turing Interdisciplinary fields Intelligence Epistemology Logic Common sense Science Knowledge Philosophy of artificial intelligence
45	Manufacturing & Pharmaceu1cals Eureqa® builds predictive models, so you don’t have to. Eureqa is a “virtual data scien1st”, enabling anyone to iden1fy pa?erns in data, build predic Add to Reading List Source URL: www.nutonian.com Language: English - Date: 2015-03-02 17:21:04 Epistemology Information Data Formal sciences Interpretation Scientific modelling Business intelligence
46	Microsoft Word - Falk Schreiber.docx Add to Reading List Source URL: bioinformatics.org.au Language: English - Date: 2014-04-02 20:04:32 Epistemology Science Data analysis Philosophy of science Formal sciences Bioengineering Bioinformatics Interpretation Scientific modelling Metabolism
47	Timothy Williamson: Publications in reverse chronological order To appear [a] ‘Barcan formulas in second-order logic’, in M. Frauchiger (ed.), Modalities, Identity, Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2015-03-04 04:49:53 Epistemologists Metaphysicians Formal epistemology Statistical inference Philosophy of science Contextualism Truth Graham Priest James Higginbotham Philosophy Epistemology Analytic philosophers
48	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: allenai.org Language: English Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
49	The Feasability of Modeling Hypothetical Reasoning by Formal Logics. Including an Overview of Adaptive Logics for Singular Fact Abduction Tjerk Gauderis Centre for Logic and Philosophy of Science Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-10-01 15:08:46 Knowledge Epistemology Non-classical logic Abductive reasoning Monotonicity of entailment Non-monotonic logic Defeasible reasoning Paraconsistent logic Inference Logic Reasoning Science
50	Introduction The HyperIBIS architecture extends the standard IBIS model to support inference about belief and expected utility in formal argument models using an open hypertext architecture. Traditional IBIS models provi Add to Reading List Source URL: www.cognitiveweb.org Language: English - Date: 2003-11-24 22:04:18 Evidence Science Argument Thought Falsifiability Semantics Input/output Buffer Information Specification Critical thinking Philosophy Epistemology